Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser
نویسنده
چکیده
منابع مشابه
Didaktische Entscheidungen bei der Konzeption einer Web 2.0-basierten Lernercommunity: Ein Erfahrungsbericht zum Einsatz eines Prüfungsvorbereitungswikis in der Mediencommunity
Zusammenfassung: Im Rahmen des Forschungsprojektes „Mediencommunity 2.0“ werden Möglichkeiten nutzerorientierter Einbindung von Web 2.0-Medien zur Verbesserung der Qualität der Anpassungsund Aufstiegsqualifizierung in der Druckund Medienbranche überprüft. Die didaktische Konzeption von Rahmenbedingungen für informelle, non-formelle und formelle Lernprozesse in der Lernercommunity verfolgt einen...
متن کاملKonzeption einer VOFI-basierten Methode zur Entscheidungsunterstützung für IS-Sicherheitsinvestitionen
Die Sicherheit von Informationssystemen ist heutzutage ein vitaler Faktor für viele Unternehmen. Um eine adäquate Sicherheit zu erreichen, stehen eine Vielzahl unterschiedlicher Maßnahmen zur Verfügung, die von technischen Maßnahmen (z. B. Einsatz einer Firewall) bis hin zu organisatorischen Maßnahmen (z. B. Implementierung eines Security Awareness Management) reichen. Die Umsetzung dieser Maßn...
متن کاملKonzeption und Evaluation von CSCL-basierten Seminaren
Der Beitrag beschreibt Rahmenbedingungen, Ablauf und Ergebnisse aus dem Projekt Computer-Supported Collaborative Learning (CSCL) im Rahmen virtueller Lehrveranstaltungen am Studiengang Information Systems der Hochschule der Medien Stuttgart. Dabei werden insbesondere Konzeption und Evaluation computerunterstützter kooperativer Lehrveranstaltungen betrachtet sowie Fragen der Nachhaltigkeit einer...
متن کاملDidaktische Implementierung und Evaluation von Blended-Learning im Bereich Marketing und Marktforschung
Im Kontext der systematischen Konzeption eines Weiterbildungsstudiengangs an der Bauhaus-Universität Weimar erfolgte die didaktische Implementierung eines Blended-LearningAngebots in die grundständige Lehre der Professur Marketing und Medien (N = 34 Studierende). Die Wissensvermittlung mittels verschiedener E-Learning-Tools und kombinierten FernlehreAnwendungen (wie Weblog, virtuelles Klassenzi...
متن کاملEntwicklung eines GDI-basierten Ansatzes zur Validierung klassifizierter Fernerkundungsdaten mithilfe von Crowdsourcing
Der vorliegende Beitrag beschäftigt sich mit dem Nutzungspotenzial von Crowdsourcing bei der Validierung von Fernerkundungsdaten, beziehungsweise daraus abgeleiteten Klassifikationsergebnissen, im Kontext von Geodateninfrastrukturen. Die Schwerpunkte liegen auf der Konzeption einer geeigneten Dienstestruktur für einen möglichst automatisierten Validierungsprozess, der Beschreibung und Verarbeit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IWBS Report
دوره 208 شماره
صفحات -
تاریخ انتشار 1992